@article{CurienHL96,
  author    = {Pierre-Louis Curien and
               Th{\'e}r{\`e}se Hardin and
               Jean-Jacques L{\'e}vy},
  title     = {Confluence Properties of Weak and Strong Calculi of Explicit
               Substitutions},
  journal   = {J. ACM},
  volume    = {43},
  number    = {2},
  year      = {1996},
  pages     = {362-397},
  ee        = {http://doi.acm.org/10.1145/226643.226675},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{Takahashi95,
  author    = {Masako Takahashi},
  title     = {Parallel Reductions in lambda-Calculus},
  journal   = {Inf. Comput.},
  volume    = {118},
  number    = {1},
  year      = {1995},
  pages     = {120-127},
  ee        = {http://dx.doi.org/10.1006/inco.1995.1057},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@book{Barendregt:1985,
  title={The lambda calculus: Its syntax and semantics},
  author={Barendregt, Hendrik Pieter},
  volume={103},
  year={1985},
  publisher={North Holland}
}
